static check 예문

• Tools can enforce referential integrity and perform static checks of the final system before deployment.
• Cppcheck supports a wide variety of static checks that may not be covered by the compiler itself.
• Nevertheless, while a C program decorated with appropriate checks will be in a sense as robust as the corresponding ML program, those checks will of necessity be dynamic; ML provides a set of static checks that give the programmer a high degree of confidence in the correctness of the program at compile time.